Struct isotope::ctx::eq::Structural [−][src]
pub struct Structural;
Expand description
Structural comparison
Trait Implementations
Returns the “default value” for a type. Read more
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Check two terms are equivalent, potentially optimizing the underlying data structure Consing is optional Read more
Check whether this term is equivalent to a type in this context, potentially optimizing the underlying data structure
Get a term’s root form in this context, potentially optimizing the underlying data structure
Get this term as a dynamic typing context
Check whether it is possible for two terms to be equal by code/address alone
Get the untyped equality mask for this context
Get the untyped equality mask for this context
Check two terms are equivalent, potentially optimizing the underlying data structure If this data structure conses, then this will shallow-cons both terms Read more
Check two terms are equivalent, potentially optimizing the underlying data structure If this data structure conses, then this will deep-cons both terms Read more
Check whether this term is equivalent to a type in this context, potentially optimizing the underlying data structure If this data structure conses, then this will shallow-cons both terms Read more
Check whether this term is equivalent to a type in this context, potentially optimizing the underlying data structure If this data structure conses, then this will deep-cons both terms Read more
Get a term’s universe in this context, potentially optimizing the underlying data structure If this data structure conses, then this will shallow-cons both terms Read more
Get a term’s root form in this context, potentially optimizing the underlying data structure If this data structure conses, then this will deep-cons both terms Read more
Quickly approximate equality between two terms: return None
if unknown
Cache two equal shallow-consed terms. Read more
Auto Trait Implementations
impl RefUnwindSafe for Structural
impl Send for Structural
impl Sync for Structural
impl Unpin for Structural
impl UnwindSafe for Structural
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.